// BouncingBallPlantController // System module BouncingBallPlantController(hybrid real position, hybrid real velocity, hybrid real force) { Plant(position, velocity, force); || Controller(position, velocity, force); } drivenby { //initial position position = 10; // running for(i=0..250) pause; }